Extensions 1→N→G→Q→1 with N=Q8xC10 and Q=C22

Direct product G=NxQ with N=Q8xC10 and Q=C22
dρLabelID
Q8xC22xC10320Q8xC2^2xC10320,1630

Semidirect products G=N:Q with N=Q8xC10 and Q=C22
extensionφ:Q→Out NdρLabelID
(Q8xC10):1C22 = D20.36D4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):1C2^2320,673
(Q8xC10):2C22 = C42:5D10φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10):2C2^2320,688
(Q8xC10):3C22 = D10:6SD16φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):3C2^2320,796
(Q8xC10):4C22 = D20.39D4φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10):4C2^2320,829
(Q8xC10):5C22 = D5xC22:Q8φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):5C2^2320,1298
(Q8xC10):6C22 = C4:C4:26D10φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):6C2^2320,1299
(Q8xC10):7C22 = D20:21D4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):7C2^2320,1302
(Q8xC10):8C22 = C10.512+ 1+4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):8C2^2320,1306
(Q8xC10):9C22 = C10.532+ 1+4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):9C2^2320,1309
(Q8xC10):10C22 = C10.562+ 1+4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):10C2^2320,1316
(Q8xC10):11C22 = D5xC4.4D4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):11C2^2320,1345
(Q8xC10):12C22 = C42:18D10φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):12C2^2320,1346
(Q8xC10):13C22 = D20:10D4φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):13C2^2320,1348
(Q8xC10):14C22 = C42:20D10φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):14C2^2320,1350
(Q8xC10):15C22 = C42:21D10φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):15C2^2320,1351
(Q8xC10):16C22 = C42:22D10φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):16C2^2320,1355
(Q8xC10):17C22 = C2xD5xSD16φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):17C2^2320,1430
(Q8xC10):18C22 = C2xD40:C2φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):18C2^2320,1431
(Q8xC10):19C22 = D20.29D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10):19C2^2320,1434
(Q8xC10):20C22 = D5xC8.C22φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10):20C2^2320,1448
(Q8xC10):21C22 = D40:C22φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10):21C2^2320,1449
(Q8xC10):22C22 = C40.C23φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10):22C2^2320,1450
(Q8xC10):23C22 = D20.34C23φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10):23C2^2320,1509
(Q8xC10):24C22 = D5x2- 1+4φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10):24C2^2320,1624
(Q8xC10):25C22 = D20.39C23φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10):25C2^2320,1625
(Q8xC10):26C22 = C5xC22:SD16φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):26C2^2320,951
(Q8xC10):27C22 = C5xD4.9D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10):27C2^2320,956
(Q8xC10):28C22 = C5xC22.32C24φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):28C2^2320,1540
(Q8xC10):29C22 = C5xC23:2Q8φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):29C2^2320,1545
(Q8xC10):30C22 = C5xC22.45C24φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):30C2^2320,1553
(Q8xC10):31C22 = C5xC24:C22φ: C22/C1C22 ⊆ Out Q8xC1080(Q8xC10):31C2^2320,1563
(Q8xC10):32C22 = C5xD4oSD16φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10):32C2^2320,1579
(Q8xC10):33C22 = C22xQ8:D5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):33C2^2320,1479
(Q8xC10):34C22 = C2xC20.C23φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):34C2^2320,1480
(Q8xC10):35C22 = C2xD10:3Q8φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):35C2^2320,1485
(Q8xC10):36C22 = C2xC20.23D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):36C2^2320,1486
(Q8xC10):37C22 = C2xD4:D10φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):37C2^2320,1492
(Q8xC10):38C22 = C20.C24φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10):38C2^2320,1494
(Q8xC10):39C22 = (C2xC20):15D4φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):39C2^2320,1500
(Q8xC10):40C22 = C10.1452+ 1+4φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):40C2^2320,1501
(Q8xC10):41C22 = C10.1462+ 1+4φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):41C2^2320,1502
(Q8xC10):42C22 = C22xQ8xD5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):42C2^2320,1615
(Q8xC10):43C22 = C22xQ8:2D5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):43C2^2320,1616
(Q8xC10):44C22 = C2xQ8.10D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):44C2^2320,1617
(Q8xC10):45C22 = C2xD5xC4oD4φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):45C2^2320,1618
(Q8xC10):46C22 = C2xD4:8D10φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):46C2^2320,1619
(Q8xC10):47C22 = C10.C25φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10):47C2^2320,1621
(Q8xC10):48C22 = C10xC22:Q8φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):48C2^2320,1525
(Q8xC10):49C22 = C5xC22.19C24φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):49C2^2320,1527
(Q8xC10):50C22 = C10xC4.4D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):50C2^2320,1528
(Q8xC10):51C22 = C5xC22.29C24φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):51C2^2320,1537
(Q8xC10):52C22 = C5xD4:5D4φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):52C2^2320,1548
(Q8xC10):53C22 = SD16xC2xC10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):53C2^2320,1572
(Q8xC10):54C22 = C10xC8:C22φ: C22/C2C2 ⊆ Out Q8xC1080(Q8xC10):54C2^2320,1575
(Q8xC10):55C22 = C10xC8.C22φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):55C2^2320,1576
(Q8xC10):56C22 = C5xD8:C22φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10):56C2^2320,1577
(Q8xC10):57C22 = C10x2- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10):57C2^2320,1633
(Q8xC10):58C22 = C5xC2.C25φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10):58C2^2320,1634
(Q8xC10):59C22 = C4oD4xC2xC10φ: trivial image160(Q8xC10):59C2^2320,1631
(Q8xC10):60C22 = C10x2+ 1+4φ: trivial image80(Q8xC10):60C2^2320,1632

Non-split extensions G=N.Q with N=Q8xC10 and Q=C22
extensionφ:Q→Out NdρLabelID
(Q8xC10).1C22 = (C2xC4).D20φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).1C2^2320,35
(Q8xC10).2C22 = (C2xQ8).D10φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10).2C2^2320,36
(Q8xC10).3C22 = C42.Dic5φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).3C2^2320,100
(Q8xC10).4C22 = C42.3Dic5φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).4C2^2320,106
(Q8xC10).5C22 = D5xC4.10D4φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10).5C2^2320,377
(Q8xC10).6C22 = M4(2).21D10φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).6C2^2320,378
(Q8xC10).7C22 = D20.4D4φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10).7C2^2320,379
(Q8xC10).8C22 = D20.5D4φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).8C2^2320,380
(Q8xC10).9C22 = D20.6D4φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).9C2^2320,381
(Q8xC10).10C22 = D20.7D4φ: C22/C1C22 ⊆ Out Q8xC101608-(Q8xC10).10C2^2320,382
(Q8xC10).11C22 = Dic5:7SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).11C2^2320,415
(Q8xC10).12C22 = C5:Q16:5C4φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).12C2^2320,416
(Q8xC10).13C22 = Dic5:4Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).13C2^2320,417
(Q8xC10).14C22 = Q8:Dic10φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).14C2^2320,418
(Q8xC10).15C22 = Dic5.3Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).15C2^2320,419
(Q8xC10).16C22 = Dic5:Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).16C2^2320,420
(Q8xC10).17C22 = Dic5.9Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).17C2^2320,421
(Q8xC10).18C22 = Q8:C4:D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).18C2^2320,422
(Q8xC10).19C22 = Q8.Dic10φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).19C2^2320,423
(Q8xC10).20C22 = C40:8C4.C2φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).20C2^2320,424
(Q8xC10).21C22 = Dic10.11D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).21C2^2320,425
(Q8xC10).22C22 = Q8.2Dic10φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).22C2^2320,426
(Q8xC10).23C22 = Q8:Dic5:C2φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).23C2^2320,427
(Q8xC10).24C22 = D5xQ8:C4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).24C2^2320,428
(Q8xC10).25C22 = (Q8xD5):C4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).25C2^2320,429
(Q8xC10).26C22 = Q8:(C4xD5)φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).26C2^2320,430
(Q8xC10).27C22 = Q8:2D5:C4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).27C2^2320,431
(Q8xC10).28C22 = D10.11SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).28C2^2320,432
(Q8xC10).29C22 = Q8:2D20φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).29C2^2320,433
(Q8xC10).30C22 = D10:2SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).30C2^2320,434
(Q8xC10).31C22 = D10:4Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).31C2^2320,435
(Q8xC10).32C22 = D10.7Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).32C2^2320,436
(Q8xC10).33C22 = Q8.D20φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).33C2^2320,437
(Q8xC10).34C22 = D20:4D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).34C2^2320,438
(Q8xC10).35C22 = C5:(C8:D4)φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).35C2^2320,439
(Q8xC10).36C22 = D10:Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).36C2^2320,440
(Q8xC10).37C22 = (C2xC8).D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).37C2^2320,441
(Q8xC10).38C22 = D10:1C8.C2φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).38C2^2320,442
(Q8xC10).39C22 = C5:2C8.D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).39C2^2320,443
(Q8xC10).40C22 = Q8:D5:6C4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).40C2^2320,444
(Q8xC10).41C22 = Dic5:SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).41C2^2320,445
(Q8xC10).42C22 = D20.12D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).42C2^2320,446
(Q8xC10).43C22 = C22:Q8.D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).43C2^2320,670
(Q8xC10).44C22 = (C2xC10).Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).44C2^2320,671
(Q8xC10).45C22 = C10.(C4oD8)φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).45C2^2320,672
(Q8xC10).46C22 = D20.37D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).46C2^2320,674
(Q8xC10).47C22 = C5:2C8:24D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).47C2^2320,675
(Q8xC10).48C22 = C22:Q8:D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).48C2^2320,676
(Q8xC10).49C22 = Dic10.37D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).49C2^2320,677
(Q8xC10).50C22 = (C2xC10):Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).50C2^2320,678
(Q8xC10).51C22 = C5:(C8.D4)φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).51C2^2320,679
(Q8xC10).52C22 = C42.61D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).52C2^2320,681
(Q8xC10).53C22 = C42.62D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).53C2^2320,682
(Q8xC10).54C22 = C42.213D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).54C2^2320,683
(Q8xC10).55C22 = D20.23D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).55C2^2320,684
(Q8xC10).56C22 = C42.64D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).56C2^2320,685
(Q8xC10).57C22 = C42.214D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).57C2^2320,686
(Q8xC10).58C22 = C42.65D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).58C2^2320,687
(Q8xC10).59C22 = D20.14D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).59C2^2320,689
(Q8xC10).60C22 = C20.Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).60C2^2320,708
(Q8xC10).61C22 = C42.77D10φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).61C2^2320,709
(Q8xC10).62C22 = C20:5SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).62C2^2320,710
(Q8xC10).63C22 = C20:6SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).63C2^2320,712
(Q8xC10).64C22 = C42.80D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).64C2^2320,713
(Q8xC10).65C22 = C20:Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).65C2^2320,717
(Q8xC10).66C22 = C20:3Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).66C2^2320,719
(Q8xC10).67C22 = D20.15D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).67C2^2320,722
(Q8xC10).68C22 = SD16xDic5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).68C2^2320,788
(Q8xC10).69C22 = Dic5:3SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).69C2^2320,789
(Q8xC10).70C22 = Dic5:5SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).70C2^2320,790
(Q8xC10).71C22 = SD16:Dic5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).71C2^2320,791
(Q8xC10).72C22 = (C5xD4).D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).72C2^2320,792
(Q8xC10).73C22 = (C5xQ8).D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).73C2^2320,793
(Q8xC10).74C22 = C40.31D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).74C2^2320,794
(Q8xC10).75C22 = C40.43D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).75C2^2320,795
(Q8xC10).76C22 = D10:8SD16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).76C2^2320,797
(Q8xC10).77C22 = C40:14D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).77C2^2320,798
(Q8xC10).78C22 = D20:7D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).78C2^2320,799
(Q8xC10).79C22 = Dic10.16D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).79C2^2320,800
(Q8xC10).80C22 = C40:8D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).80C2^2320,801
(Q8xC10).81C22 = C40:15D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).81C2^2320,802
(Q8xC10).82C22 = C40:9D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).82C2^2320,803
(Q8xC10).83C22 = C40.44D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).83C2^2320,804
(Q8xC10).84C22 = C40.26D4φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).84C2^2320,808
(Q8xC10).85C22 = Dic5:3Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).85C2^2320,809
(Q8xC10).86C22 = Q16xDic5φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).86C2^2320,810
(Q8xC10).87C22 = Q16:Dic5φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).87C2^2320,811
(Q8xC10).88C22 = (C2xQ16):D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).88C2^2320,812
(Q8xC10).89C22 = D10:5Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).89C2^2320,813
(Q8xC10).90C22 = D20.17D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).90C2^2320,814
(Q8xC10).91C22 = D10:3Q16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).91C2^2320,815
(Q8xC10).92C22 = C40.36D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).92C2^2320,816
(Q8xC10).93C22 = C40.37D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).93C2^2320,817
(Q8xC10).94C22 = C40.28D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).94C2^2320,818
(Q8xC10).95C22 = C40.29D4φ: C22/C1C22 ⊆ Out Q8xC101604(Q8xC10).95C2^2320,819
(Q8xC10).96C22 = M4(2).15D10φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).96C2^2320,830
(Q8xC10).97C22 = M4(2).16D10φ: C22/C1C22 ⊆ Out Q8xC101608-(Q8xC10).97C2^2320,831
(Q8xC10).98C22 = D20.40D4φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10).98C2^2320,832
(Q8xC10).99C22 = 2- 1+4:2D5φ: C22/C1C22 ⊆ Out Q8xC10808+(Q8xC10).99C2^2320,872
(Q8xC10).100C22 = 2- 1+4.2D5φ: C22/C1C22 ⊆ Out Q8xC10808-(Q8xC10).100C2^2320,873
(Q8xC10).101C22 = (Q8xDic5):C2φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).101C2^2320,1294
(Q8xC10).102C22 = C10.502+ 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).102C2^2320,1295
(Q8xC10).103C22 = C22:Q8:25D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).103C2^2320,1296
(Q8xC10).104C22 = C10.152- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).104C2^2320,1297
(Q8xC10).105C22 = C10.162- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).105C2^2320,1300
(Q8xC10).106C22 = C10.172- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).106C2^2320,1301
(Q8xC10).107C22 = D20:22D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).107C2^2320,1303
(Q8xC10).108C22 = Dic10:21D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).108C2^2320,1304
(Q8xC10).109C22 = Dic10:22D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).109C2^2320,1305
(Q8xC10).110C22 = C10.1182+ 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).110C2^2320,1307
(Q8xC10).111C22 = C10.522+ 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).111C2^2320,1308
(Q8xC10).112C22 = C10.202- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).112C2^2320,1310
(Q8xC10).113C22 = C10.212- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).113C2^2320,1311
(Q8xC10).114C22 = C10.222- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).114C2^2320,1312
(Q8xC10).115C22 = C10.232- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).115C2^2320,1313
(Q8xC10).116C22 = C10.772- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).116C2^2320,1314
(Q8xC10).117C22 = C10.242- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).117C2^2320,1315
(Q8xC10).118C22 = C10.572+ 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).118C2^2320,1317
(Q8xC10).119C22 = C10.582+ 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).119C2^2320,1318
(Q8xC10).120C22 = C10.262- 1+4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).120C2^2320,1319
(Q8xC10).121C22 = C42.233D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).121C2^2320,1340
(Q8xC10).122C22 = C42.137D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).122C2^2320,1341
(Q8xC10).123C22 = C42.138D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).123C2^2320,1342
(Q8xC10).124C22 = C42.139D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).124C2^2320,1343
(Q8xC10).125C22 = C42.140D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).125C2^2320,1344
(Q8xC10).126C22 = C42.141D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).126C2^2320,1347
(Q8xC10).127C22 = Dic10:10D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).127C2^2320,1349
(Q8xC10).128C22 = C42.234D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).128C2^2320,1352
(Q8xC10).129C22 = C42.143D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).129C2^2320,1353
(Q8xC10).130C22 = C42.144D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).130C2^2320,1354
(Q8xC10).131C22 = C42.145D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).131C2^2320,1356
(Q8xC10).132C22 = Dic10:8Q8φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).132C2^2320,1393
(Q8xC10).133C22 = Dic10:9Q8φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).133C2^2320,1394
(Q8xC10).134C22 = D5xC4:Q8φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).134C2^2320,1395
(Q8xC10).135C22 = C42.171D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).135C2^2320,1396
(Q8xC10).136C22 = C42.240D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).136C2^2320,1397
(Q8xC10).137C22 = D20:12D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).137C2^2320,1398
(Q8xC10).138C22 = D20:8Q8φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).138C2^2320,1399
(Q8xC10).139C22 = C42.241D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).139C2^2320,1400
(Q8xC10).140C22 = C42.174D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).140C2^2320,1401
(Q8xC10).141C22 = D20:9Q8φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).141C2^2320,1402
(Q8xC10).142C22 = C42.176D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).142C2^2320,1403
(Q8xC10).143C22 = C42.177D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).143C2^2320,1404
(Q8xC10).144C22 = C42.178D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).144C2^2320,1405
(Q8xC10).145C22 = C42.179D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).145C2^2320,1406
(Q8xC10).146C22 = C42.180D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).146C2^2320,1407
(Q8xC10).147C22 = C2xSD16:D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).147C2^2320,1432
(Q8xC10).148C22 = C2xSD16:3D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).148C2^2320,1433
(Q8xC10).149C22 = C2xD5xQ16φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).149C2^2320,1435
(Q8xC10).150C22 = C2xQ16:D5φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).150C2^2320,1436
(Q8xC10).151C22 = C2xQ8.D10φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).151C2^2320,1437
(Q8xC10).152C22 = D20.30D4φ: C22/C1C22 ⊆ Out Q8xC101604(Q8xC10).152C2^2320,1438
(Q8xC10).153C22 = D20.44D4φ: C22/C1C22 ⊆ Out Q8xC101608-(Q8xC10).153C2^2320,1451
(Q8xC10).154C22 = D20.35C23φ: C22/C1C22 ⊆ Out Q8xC101608-(Q8xC10).154C2^2320,1510
(Q8xC10).155C22 = C5xC42.C4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).155C2^2320,160
(Q8xC10).156C22 = C5xC42.3C4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).156C2^2320,161
(Q8xC10).157C22 = C5xD4.8D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).157C2^2320,955
(Q8xC10).158C22 = C5xD4.10D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).158C2^2320,957
(Q8xC10).159C22 = C5xD4.D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).159C2^2320,962
(Q8xC10).160C22 = C5xC4:2Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).160C2^2320,963
(Q8xC10).161C22 = C5xD4.2D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).161C2^2320,964
(Q8xC10).162C22 = C5xQ8.D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).162C2^2320,965
(Q8xC10).163C22 = C5xC8:8D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).163C2^2320,966
(Q8xC10).164C22 = C5xC8.18D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).164C2^2320,968
(Q8xC10).165C22 = C5xC8:D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).165C2^2320,969
(Q8xC10).166C22 = C5xC8.D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).166C2^2320,971
(Q8xC10).167C22 = C5xD4.3D4φ: C22/C1C22 ⊆ Out Q8xC10804(Q8xC10).167C2^2320,972
(Q8xC10).168C22 = C5xD4.5D4φ: C22/C1C22 ⊆ Out Q8xC101604(Q8xC10).168C2^2320,974
(Q8xC10).169C22 = C5xC23.47D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).169C2^2320,984
(Q8xC10).170C22 = C5xC23.48D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).170C2^2320,985
(Q8xC10).171C22 = C5xC23.20D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).171C2^2320,986
(Q8xC10).172C22 = C5xC4.SD16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).172C2^2320,988
(Q8xC10).173C22 = C5xC42.78C22φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).173C2^2320,989
(Q8xC10).174C22 = C5xC42.28C22φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).174C2^2320,990
(Q8xC10).175C22 = C5xC42.30C22φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).175C2^2320,992
(Q8xC10).176C22 = C5xC8:5D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).176C2^2320,993
(Q8xC10).177C22 = C5xC4:Q16φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).177C2^2320,995
(Q8xC10).178C22 = C5xC8.12D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).178C2^2320,996
(Q8xC10).179C22 = C5xC8:3D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).179C2^2320,997
(Q8xC10).180C22 = C5xC8.2D4φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).180C2^2320,998
(Q8xC10).181C22 = C5xC22.33C24φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).181C2^2320,1541
(Q8xC10).182C22 = C5xC22.36C24φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).182C2^2320,1544
(Q8xC10).183C22 = C5xC23.41C23φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).183C2^2320,1546
(Q8xC10).184C22 = C5xD4:3Q8φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).184C2^2320,1556
(Q8xC10).185C22 = C5xC22.49C24φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).185C2^2320,1557
(Q8xC10).186C22 = C5xQ82φ: C22/C1C22 ⊆ Out Q8xC10320(Q8xC10).186C2^2320,1560
(Q8xC10).187C22 = C5xC22.56C24φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).187C2^2320,1564
(Q8xC10).188C22 = C5xC22.57C24φ: C22/C1C22 ⊆ Out Q8xC10160(Q8xC10).188C2^2320,1565
(Q8xC10).189C22 = C5xQ8oD8φ: C22/C1C22 ⊆ Out Q8xC101604(Q8xC10).189C2^2320,1580
(Q8xC10).190C22 = C20.48SD16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).190C2^2320,647
(Q8xC10).191C22 = C20.23Q16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).191C2^2320,648
(Q8xC10).192C22 = Q8.3Dic10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).192C2^2320,649
(Q8xC10).193C22 = C4xQ8:D5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).193C2^2320,652
(Q8xC10).194C22 = C42.56D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).194C2^2320,653
(Q8xC10).195C22 = Q8:D20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).195C2^2320,654
(Q8xC10).196C22 = Q8.1D20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).196C2^2320,655
(Q8xC10).197C22 = C4xC5:Q16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).197C2^2320,656
(Q8xC10).198C22 = C42.59D10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).198C2^2320,657
(Q8xC10).199C22 = C20:7Q16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).199C2^2320,658
(Q8xC10).200C22 = C2xQ8:Dic5φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).200C2^2320,851
(Q8xC10).201C22 = (Q8xC10):16C4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).201C2^2320,852
(Q8xC10).202C22 = C2xC20.10D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).202C2^2320,853
(Q8xC10).203C22 = (C5xQ8):13D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).203C2^2320,854
(Q8xC10).204C22 = (C2xC10):8Q16φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).204C2^2320,855
(Q8xC10).205C22 = C4oD4:Dic5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).205C2^2320,859
(Q8xC10).206C22 = C20.(C2xD4)φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).206C2^2320,860
(Q8xC10).207C22 = (D4xC10).29C4φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10).207C2^2320,864
(Q8xC10).208C22 = (C5xD4):14D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).208C2^2320,865
(Q8xC10).209C22 = (C5xD4).32D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).209C2^2320,866
(Q8xC10).210C22 = Q8xDic10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).210C2^2320,1238
(Q8xC10).211C22 = Dic10:10Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).211C2^2320,1239
(Q8xC10).212C22 = C42.122D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).212C2^2320,1240
(Q8xC10).213C22 = Q8:5Dic10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).213C2^2320,1241
(Q8xC10).214C22 = Q8:6Dic10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).214C2^2320,1242
(Q8xC10).215C22 = C4xQ8xD5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).215C2^2320,1243
(Q8xC10).216C22 = C42.125D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).216C2^2320,1244
(Q8xC10).217C22 = C4xQ8:2D5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).217C2^2320,1245
(Q8xC10).218C22 = C42.126D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).218C2^2320,1246
(Q8xC10).219C22 = Q8xD20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).219C2^2320,1247
(Q8xC10).220C22 = Q8:5D20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).220C2^2320,1248
(Q8xC10).221C22 = Q8:6D20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).221C2^2320,1249
(Q8xC10).222C22 = C42.232D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).222C2^2320,1250
(Q8xC10).223C22 = D20:10Q8φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).223C2^2320,1251
(Q8xC10).224C22 = C42.131D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).224C2^2320,1252
(Q8xC10).225C22 = C42.132D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).225C2^2320,1253
(Q8xC10).226C22 = C42.133D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).226C2^2320,1254
(Q8xC10).227C22 = C42.134D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).227C2^2320,1255
(Q8xC10).228C22 = C42.135D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).228C2^2320,1256
(Q8xC10).229C22 = C42.136D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).229C2^2320,1257
(Q8xC10).230C22 = C22xC5:Q16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).230C2^2320,1481
(Q8xC10).231C22 = C2xDic5:Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).231C2^2320,1482
(Q8xC10).232C22 = C2xQ8xDic5φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).232C2^2320,1483
(Q8xC10).233C22 = C10.422- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).233C2^2320,1484
(Q8xC10).234C22 = Q8xC5:D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).234C2^2320,1487
(Q8xC10).235C22 = C10.442- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).235C2^2320,1488
(Q8xC10).236C22 = C10.452- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).236C2^2320,1489
(Q8xC10).237C22 = C2xD4.8D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).237C2^2320,1493
(Q8xC10).238C22 = C2xD4.9D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).238C2^2320,1495
(Q8xC10).239C22 = C10.1042- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).239C2^2320,1496
(Q8xC10).240C22 = C10.1052- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).240C2^2320,1497
(Q8xC10).241C22 = C4oD4xDic5φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).241C2^2320,1498
(Q8xC10).242C22 = C10.1062- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).242C2^2320,1499
(Q8xC10).243C22 = C10.1072- 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).243C2^2320,1503
(Q8xC10).244C22 = (C2xC20):17D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).244C2^2320,1504
(Q8xC10).245C22 = C10.1472+ 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).245C2^2320,1505
(Q8xC10).246C22 = C10.1482+ 1+4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).246C2^2320,1506
(Q8xC10).247C22 = C2xD4.10D10φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).247C2^2320,1620
(Q8xC10).248C22 = C10xC4.10D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).248C2^2320,913
(Q8xC10).249C22 = C5xM4(2).8C22φ: C22/C2C2 ⊆ Out Q8xC10804(Q8xC10).249C2^2320,914
(Q8xC10).250C22 = C10xQ8:C4φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).250C2^2320,916
(Q8xC10).251C22 = C5xC23.24D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).251C2^2320,917
(Q8xC10).252C22 = C5xC23.36D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).252C2^2320,918
(Q8xC10).253C22 = C5xC23.38D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).253C2^2320,920
(Q8xC10).254C22 = SD16xC20φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).254C2^2320,939
(Q8xC10).255C22 = Q16xC20φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).255C2^2320,940
(Q8xC10).256C22 = C5xSD16:C4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).256C2^2320,941
(Q8xC10).257C22 = C5xQ16:C4φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).257C2^2320,942
(Q8xC10).258C22 = C5xQ8:D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).258C2^2320,949
(Q8xC10).259C22 = C5xD4:D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).259C2^2320,950
(Q8xC10).260C22 = C5xC22:Q16φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).260C2^2320,952
(Q8xC10).261C22 = C5xD4.7D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).261C2^2320,953
(Q8xC10).262C22 = C5xC4:SD16φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).262C2^2320,961
(Q8xC10).263C22 = C5xQ8:Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).263C2^2320,976
(Q8xC10).264C22 = C5xC4.Q16φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).264C2^2320,978
(Q8xC10).265C22 = C5xQ8.Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).265C2^2320,980
(Q8xC10).266C22 = C5xC23.36C23φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).266C2^2320,1531
(Q8xC10).267C22 = C10xC4:Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).267C2^2320,1533
(Q8xC10).268C22 = C5xC22.26C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).268C2^2320,1534
(Q8xC10).269C22 = C5xC23.37C23φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).269C2^2320,1535
(Q8xC10).270C22 = C5xC23.38C23φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).270C2^2320,1538
(Q8xC10).271C22 = C5xC22.31C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).271C2^2320,1539
(Q8xC10).272C22 = C5xC22.35C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).272C2^2320,1543
(Q8xC10).273C22 = C5xD4:6D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).273C2^2320,1549
(Q8xC10).274C22 = C5xQ8:5D4φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).274C2^2320,1550
(Q8xC10).275C22 = C5xD4xQ8φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).275C2^2320,1551
(Q8xC10).276C22 = C5xC22.46C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).276C2^2320,1554
(Q8xC10).277C22 = C5xC22.50C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).277C2^2320,1558
(Q8xC10).278C22 = C5xQ8:3Q8φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).278C2^2320,1559
(Q8xC10).279C22 = C5xC22.53C24φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).279C2^2320,1561
(Q8xC10).280C22 = Q16xC2xC10φ: C22/C2C2 ⊆ Out Q8xC10320(Q8xC10).280C2^2320,1573
(Q8xC10).281C22 = C10xC4oD8φ: C22/C2C2 ⊆ Out Q8xC10160(Q8xC10).281C2^2320,1574
(Q8xC10).282C22 = Q8xC2xC20φ: trivial image320(Q8xC10).282C2^2320,1518
(Q8xC10).283C22 = C4oD4xC20φ: trivial image160(Q8xC10).283C2^2320,1519
(Q8xC10).284C22 = C5xC23.32C23φ: trivial image160(Q8xC10).284C2^2320,1521
(Q8xC10).285C22 = C5xC23.33C23φ: trivial image160(Q8xC10).285C2^2320,1522
(Q8xC10).286C22 = C5xQ8:6D4φ: trivial image160(Q8xC10).286C2^2320,1552

׿
x
:
Z
F
o
wr
Q
<